0z0 <- 0z1
0z0 \\ 0z1